redundant and obsolete laws